Parametric cognitive models are increasingly popular tools for analyzing data obtained from psychological experiments. One of the main goals of such models is to formalize psychological theories using parameters that represent distinct psychological processes. We argue that systematic quantitative reviews of parameter estimates can make an important contribution to robust and cumulative cognitive modeling. Parameter reviews can benefit model development and model assessment by providing valuable information about the expected parameter space, and can facilitate the more efficient design of experiments. (...) Importantly, parameter reviews provide crucial—if not indispensable—information for the specification of informative prior distributions in Bayesian cognitive modeling. From the Bayesian perspective, prior distributions are an integral part of a model, reflecting cumulative theoretical knowledge about plausible values of the model's parameters (Lee,2018). In this paper we illustrate how systematic parameter reviews can be implemented to generate informed prior distributions for the Diffusion Decision Model (DDM; Ratcliff and McKoon,2008), the most widely used model of speeded decision making. We surveyed the published literature on empirical applications of the DDM, extracted the reported parameter estimates, and synthesized this information in the form of prior distributions. Our parameter review establishes a comprehensive reference resource for plausible DDM parameter values in various experimental paradigms that can guide future applications of the model. Based on the challenges we faced during the parameter review, we formulate a set of general and DDM-specific suggestions aiming to increase reproducibility and the information gained from the review process. (shrink)

Hans van Maanen is professor of art and society at the Department of Arts, Culture & Media Studies of the University of Groningen, the Netherlands.

Recensie van Miriam Rasch Frictie: Ethiek in tijden van dataïsme. Amsterdam: De Bezige Bij (2020).

This article discusses how sequential sampling models can be integrated in a cognitive architecture. The new theory Retrieval by Accumulating Evidence in an Architecture (RACE/A) combines the level of detail typically provided by sequential sampling models with the level of task complexity typically provided by cognitive architectures. We will use RACE/A to model data from two variants of a picture–word interference task in a psychological refractory period design. These models will demonstrate how RACE/A enables interactions between sequential sampling and long-term (...) declarative learning, and between sequential sampling and task control. In a traditional sequential sampling model, the onset of the process within the task is unclear, as is the number of sampling processes. RACE/A provides a theoretical basis for estimating the onset of sequential sampling processes during task execution and allows for easy modeling of multiple sequential sampling processes within a task. (shrink)

The speed‐accuracy trade‐off (SAT) effect refers to the behavioral trade‐off between fast yet error‐prone respones and accurate but slow responses. Multiple theories on the cognitive mechanisms behind SAT exist. One theory assumes that SAT is a consequence of strategically adjusting the amount of evidence required for overt behaviors, such as perceptual choices. Another theory hypothesizes that SAT is the consequence of the mixture of multiple categorically different cognitive processes. In this paper, these theories are disambiguated by assessing whether the fixed‐point (...) property of mixture distributions holds, in both simulations and data. I conclude that, at least for perceptual decision making, there is no evidence for a mixture of different cognitive processes to trade off accuracy of responding for speed. (shrink)

John Pell worked in the Netherlands from 1643 until 1652. He therefore deserves a place in a survey of mathematics c. 1650 in the Netherlands. During his stay he was mainly concerned with refuting a quadrature of the circle that was published in 1644 in Amsterdam by the Danish astronomer and mathematician Longomontanus. We therefore make Pell's refutation the main theme of this paper, but other aspects of Pell's work and some biographical information will be discussed within this framework. This (...) paper includes a discussion of the refuted quadrature, and the first publication of a copy of the original one-leaf refutation, which was thought to be lost. In addition, we survey Pell's correspondence about the affair and in that connection discuss some unknown letters from Mersenne. (shrink)

Between‐trial effects in Stroop‐like interference tasks are linked to differences in the amount of cognitive control. Trials following an incongruent trial show less interference, an effect suggested to result from the increased control caused by the incongruent previous trial (known as the Gratton effect). In this study, we show that cognitive control not only results in a different amount of interference but also in a different locus of the interference. That is, the stage of the task that shows the most (...) interference changes as a function of the preceding trial. Using computational cognitive modeling, we explain these effects by a difference in the amount of processing of the irrelevant dimension of the stimulus. (shrink)

A letter written by Christiaan Huygens to David Gregory is published here for the first time. After an introduction about the contacts between the two correspondents, an annotated English translation of the letter is given. The letter forms part of the wider correspondence about the ‘new calculus’, in which L'Hospital and Leibniz also participated, and gives some new evidence about Huygens's ambivalent attitude towards the new developments. Therefore, two mathematical passages in the letter are discussed separately. An appendix contains the (...) original Latin text. (shrink)

Amsterdam University Press is a leading publisher of academic books, journals and textbooks in the Humanities and Social Sciences. Our aim is to make current research available to scholars, students, innovators, and the general public. AUP stands for scholarly excellence, global presence, and engagement with the international academic community.

In this analysis we discuss the change in criteria for triage of patients during three different phases of a pandemic like COVID-19, seen from the critical care point of view. Availability of critical care beds has become a hot topic, and in many countries, we have seen a huge increase in the provision of temporary intensive care bed capacity. However, there is a limit where the hospitals may run out of resources to provide critical care, which is heavily dependent on (...) trained staff, just-in-time supply chains for clinical consumables and drugs and advanced equipment. In the first phase, we can still do clinical prioritisation and decision-making as usual, based on the need for intensive care and prognostication: what are the odds for a good result with regard to survival and quality of life. In the next, the resources are mostly available, but the system is stressed by many patients arriving over a short time period and auxiliary beds in different places in the hospital being used. We may have to abandon admittance of patients with doubtful prognosis. In the last phase, usual medical triage and priority setting may not be sufficient to decrease inflow and there may not be enough intensive care unit beds available. In this phase different criteria must be applied using a utilitarian approach for triage. We argue that this is an important transition where society, and not physicians, must provide guidance to support triage that is no longer based on medical priorities alone. (shrink)

Dynamic Epistemic Logic This article tells the story of the rise of dynamic epistemic logic, which began with epistemic logic, the logic of knowledge, in the 1960s. Then, in the late 1980s, came dynamic epistemic logic, the logic of change of knowledge. Much of it was motivated by puzzles and paradoxes. The number … Continue reading Dynamic Epistemic Logic →.

Seks is overal. In kranten en tijdschriften, in advertenties op bushokjes, op televisie en het internet, op Instagram en Snapchat. Seks beheerst en betovert onze beeldcultuur. Af en toe roept die onafgebroken stroom van seksuele beelden kritiek op. We lezen over de ‘pornoficatie’ van onze cultuur en hoe de modeindustrie zelfs kinderen verleidt om sexy strings te kopen. We horen dat we aan porno verslaafd zijn, dat alles van waarde vervliegt en dat we steeds intensere prikkels nodig hebben. Een zeldzame (...) keer merkt iemand op dat de constante seksuele objectivering van vrouwenlichamen de genderongelijkheid in stand houdt. Als seks overal is, is het niet verwonderlijk dat seks ook in kunst te vinden is. Kunst en pornografie lijken elkaar uit te sluiten: het ene maakt het mooiste en het beste in ons wakker, het andere onderwerpt ons aan hitsigheid en dierlijkheid. Het ene viert de schoonheid van de vrouw, het andere is een kwestie van geweld en onderwerping. Toch is de relatie tussen kunst en pornografie genuanceerder dan ze op het eerste gezicht lijkt. In deze filosofische verkenning nemen filosofen Petra Van Brabandt en Hans Maes zowel kunst als pornografie onder de loep en ontdekken ze dat de dingen soms helemaal niet zijn wat ze lijken. (shrink)

According to logical theories of meaning, a meaning of an expression can be formalized and encoded in truth conditions. Vagueness of the language and individual differences between people are a challenge to incorporate into the meaning representations. In this paper, we propose a new approach to study truth-conditional representations of vague concepts. For a case study, we selected two natural language quantifiers most and more than half. We conducted two online experiments, each with 90 native English speakers. In the first (...) experiment, we tested between-subjects variability in meaning representations. In the second experiment, we tested the stability of meaning representations over time by testing the same group of participants in two experimental sessions. In both experiments, participants performed the verification task. They verified a sentence with a quantifier (e.g., “Most of the gleerbs are feezda.”) based on the numerical information provided in the second sentence, (e.g., “60% of the gleerbs are feezda”). To investigate between-subject and within-subject differences in meaning representations, we proposed an extended version of the Diffusion Decision Model with two parameters capturing truth conditions and vagueness. We fit the model to responses and reaction times data. In the first experiment, we found substantial between-subject differences in representations of most as reflected by the variability in the truth conditions. Moreover, we found that the verification of most is proportion-dependent as reflected in the reaction time effect and model parameter. In the second experiment, we showed that quantifier representations are stable over time as reflected in stable model parameters across two experimental sessions. These findings challenge semantic theories that assume the truth-conditional equivalence of most and more than half and contribute to the representational theory of vague concepts. The current study presents a promising approach to study semantic representations, which can have a wide application in experimental linguistics. (shrink)

We propose a separation logic where resources are histories (sequences) of epistemic actions so that resource update means concatenation of histories and resource decomposition means splitting of histories. This separation logic, called AMHSL, allows us to reason about the past: does what is true now depend on what was true in the past, before certain actions were executed? We show that the multiplicative connectives can be eliminated from a logical language with also epistemic and action model modalities, if the horizon (...) of epistemic actions is bounded. (shrink)

We model three examples of beliefs that agents may have about other agents' beliefs, and provide motivation for this conceptualization from the theory of mind literature. We assume a modal logical framework for modelling degrees of belief by partially ordered preference relations. In this setting, we describe that agents believe that other agents do not distinguish among their beliefs ('no preferences'), that agents believe that the beliefs of other agents are in part as their own ('my preferences'), and the special (...) case that agents believe that the beliefs of other agents are exactly as their own ('preference refinement'). This multi-agent belief interaction is frame characterizable. We provide examples for introspective agents. We investigate which of these forms of belief interaction are preserved under three common forms of belief revision. (shrink)

Dynamic Epistemic Logic is the logic of knowledge change. This book provides various logics to support such formal specifications, including proof systems. Concrete examples and epistemic puzzles enliven the exposition. The book also offers exercises with answers. It is suitable for graduate courses in logic. Many examples, exercises, and thorough completeness proofs and expressivity results are included. A companion web page offers slides for lecturers and exams for further practice.

This paper explores the relation between evolutionary explanations of religious belief and a core idea in both classical Christian theology and Reformed Epistemology, namely that humans have fallen into sin. In particular, it challenges the claim made by De Cruz and De Smedt that ‘ in the light of current evolutionary and cognitive theories, the Reformed epistemological view of NES [the noetic effects of sin] is in need of revision.’ Three possible solutions to this conundrum are examined, two of which (...) are shown to be plausible. (shrink)

Where did the universe come from? Is life a result of chance, or design? If God is loving and all-powerful, why does evil still exist? Is religious belief just a byproduct of undirected evolutionary processes? Or did God make sure humans would evolve in such a way as to believe? Are philosophers closed-minded about religion? And why is so much of philosophy of religion about God-but not about gods? Introduction to Philosophy: Philosophy of Religion introduces students to some of the (...) major traditional arguments for and against the existence of God. It also includes discussions of some less well-known, but thought-provoking arguments for the existence of God, and one of the most important new challenges to religious belief from the Cognitive Science of Religion. An introductory chapter traces the deep interconnections between philosophy and religion throughout Western history, and a final chapter considers what place there is for non-Western and non-monotheistic religions within contemporary philosophy of religion. Whatever your religious beliefs-or lack of beliefs-we think you will find many of the arguments in this book fascinating to think about, and useful starting points for deeper philosophical discussions. (shrink)

Fitch showed that not every true proposition can be known in due time; in other words, that not every proposition is knowable. Moore showed that certain propositions cannot be consistently believed. A more recent dynamic phrasing of Moore-sentences is that not all propositions are known after their announcement, i.e., not every proposition is successful. Fitch's and Moore's results are related, as they equally apply to standard notions of knowledge and belief (S 5 and KD45, respectively). If we interpret ‘successful’ as (...) ‘known after its announcement’ and ‘knowable’ as ‘known after some announcement’, successful implies knowable. Knowable does not imply successful: there is a proposition ϕ that is not known after its announcement but there is another announcement after which ϕ is known. We show that all propositions are knowable in the more general sense that for each proposition, it can become known or its negation can become known. We can get to know whether it is true: ◊(Kϕ ∨ K¬ϕ). This result comes at a price. We cannot get to know whether the proposition was true. This restricts the philosophical relevance of interpreting ‘knowable’ as ‘known after an announcement’. (shrink)

This is a case-study in knowledge representation. We analyze the ‘one hundred prisoners and a lightbulb’ puzzle. In this puzzle it is relevant what the agents (prisoners) know, how their knowledge changes due to observations, and how they affect the state of the world by changing facts, i.e., by their actions. These actions depend on the history of previous actions and observations. Part of its interest is that all actions are local, i.e. not publicly observable, and part of the problem (...) is therefore how to disseminate local results to other agents, and make them global. The various solutions to the puzzle are presented as protocols (iterated functions from agent’s local states, and histories of actions, to actions). The computational aspect is about average runtime termination under conditions of random (‘fair’) scheduling. (shrink)

We look at lying as an act of communication, where (i) the proposition that is communicated is not true, (ii) the utterer of the lie knows that what she communicates is not true, and (iii) the utterer of the lie intends the lie to be taken as truth. Rather than dwell on the moral issues, we provide a sketch of what goes on logically when a lie is communicated. We present a complete logic of manipulative updating, to analyse the effects (...) of lying in public discourse. Next, we turn to the study of lying in games. First, a game-theoretical analysis is used to explain how the possibility of lying makes such games interesting, and how lying is put to use in optimal strategies for playing the game. Finally, we give a matching logical analysis. Our running example of lying in games in liar’s dice. (shrink)

This volume consists of several contributions to a refined understanding of religious experience in view of contemporary theological epistemology.

We provide an ethical evaluation of the debate on managing diversity within teams and organizations between equality and business case scholars. Our core assertion is that equality and business case perspectives on diversity from an ethical reading appear stuck as they are based on two different moral perspectives that are difficult to reconcile with each other. More specifically, we point out how the arguments of equality scholars correspond with moral reasoning grounded in deontology, whereas the foundations of the business case (...) perspective are crafted by utilitarian arguments. We show that the problems associated with each diversity perspective correspond with the traditional concerns with the two moral perspectives. To resolve this stalemate position, we argue that the equality versus business case debate needs to be approached from a third, less well-known moral perspective (i.e. virtue ethics). We posit that a focus on virtues can enhance equality by reducing prejudice and illustrate this by applying it to the HRM domains of recruitment and selection and of performance management. Subsequently, we argue that values are key to aligning virtues with each other and with corporate strategy, delineate our values and virtues perspective on diversity, and argue why and how it can enhance organizational performance. (shrink)

A proposition is noncontingent, if it is necessarily true or it is necessarily false. In an epistemic context, ‘a proposition is noncontingent’ means that you know whether the proposition is true. In this paper, we study contingency logic with the noncontingency operator? but without the necessity operator 2. This logic is not a normal modal logic, because?→ is not valid. Contingency logic cannot define many usual frame properties, and its expressive power is weaker than that of basic modal logic over (...) classes of models without reflexivity. These features make axiomatizing contingency logics nontrivial, especially for the axiomatization over symmetric frames. In this paper, we axiomatize contingency logics over various frame classes using a novel method other than the methods provided in the literature, based on the ‘almost-definability’ schema AD proposed in our previous work. We also present extensions of contingency logic with dynamic operators. Finally, we compare our work to the related work in the fields of contingency logic and ignorance logic, where the two research communities have similar results but are apparently unaware of each other’s work. One goal of our paper is to bridge this gap. (shrink)